EventsWithOrder
== E:Type
== EqDecider(E)
== pred?:(E(E+Unit))
== info:(E(IdTop+(IdLnkE)Top))
== EOrderAxioms(E; pred?; info)
== Top 

latex

---

clarification:

EOrder{i:l}
== E:Type{i}
== EqDecider(E)
== pred?:(E(E+Unit))
== info:(E(IdTop+(IdLnkE)Top))
== EOrderAxioms{i}(E;
== EOpred?;
== EOinfo)
== Top 

latex

Definitions	Type, EqDecider(T), Unit, x:AB(x), left+right, Id, IdLnk, x:AB(x), EOrderAxioms(E; pred?; info), Top
FDL editor aliases	EOrder